$\forall$${\it the\_es}$:ES, $l$:IdLnk, $e$:E. snds($l$;before($e$)) $\in$ ((Msg on $l$) List)